Question: Lambda Cube, Pattern Calculus, Process Calculus and Targets

I am looking to see if some of the features below are supported and if not what is the road map to support them.

Does Rascal support:

1) All bases of the lambda cube
1.1) Ability to support different type systems
2) Pattern calculus
3) Process calculus

with interaction between the 1, 2 and 3

Also what the targets are. Can it target:
1) JVM
2) CLI
3) LLVM