Removed InterpreterT for PlatformT
Corrected examples (ill and well typed) for nested compile
Merge branch 'master' into dev