Implement type casting#89

martin-henz merged 5 commits into

mainsource-academy/java-slang:mainfrom

type-castingsource-academy/java-slang:type-castingCopy head branch name to clipboard