Support for type constants in the mu2rvm-execute: work in progress.