comments
inferType for the empty list
add REPL mode
put CompileError and SplType into own modules
runParser usess Either instead of error