[FIX] [ADD] Fix multiple bugs in teh type system, add mutable support for sub types and implement basic if / elif / else statements