Anxhelo Xhebraj

`Manifest` -> `Type` change proposal

2

This PR introduces a `Type` typeclass based representation of types in LMS. This implementation is based on the one present on [the previous version of LMS](https://github.com/TiarkRompf/virtualization-lms-core/blob/1f2f9b4423189f8ea55dd7d0d3c939d9418dc8cb/src/internal/Expressions.scala#L18-L54) and the one presented...