splitted Basic.agda into modules with Source, Bytecode and Compiler (correctness)